second-order logic - Turkish English Dictionary